Reasoning about code mobility with mobile UNITY
نویسندگان
چکیده
منابع مشابه
Reasoning About LLVM Code Using Codewalker
This paper reports on initial experiments using J Moore’s Codewalker to reason about programs compiled to the Low-Level Virtual Machine (LLVM) intermediate form. Previously, we reported on a translator from LLVM to the applicative subset of Common Lisp accepted by the ACL2 theorem prover, producing executable ACL2 formal models, and allowing us to both prove theorems about the translated models...
متن کاملA Framework for Reasoning about ERLANG Code
Fredlund, L.-Å. 2001: A Framework for Reasoning about ERLANG Code. TRITA-IT AVH 01:04, Department of Microelectronics and Information Technology, Stockholm. ISSN 14035286. We present a framework for formal reasoning about the behaviour of software written in ERLANG, a functional programming language with prominent support for process based concurrency, message passing communication and distribu...
متن کاملReusing Code by Reasoning About its Purpose
When programmers face unfamiliar or challenging tasks, code written by others could give them inspiration or reusable pieces. But how can they find code appropriate for their goals? This paper describes a programming interface, called Zones, that connects code with natural language annotations about its purpose. The backend, called ProcedureSpace, uses the Blending technique to reason jointly o...
متن کاملExpressing Code Mobility in Mobile UNITYGian
Advancements in network technology have led to the emergence of new computing paradigms that challenge established programming practices by employing weak forms of consistency and dynamic forms of binding. Code mobility, for instance, allows for invocation-time binding between a code fragment and the location where it executes. Similarly, mobile computing allows hosts (and the software they exe...
متن کاملReasoning about Security in Mobile Ambients
The paper gives an assessment of security for Mobile Ambients, with specific focus on mandatory access control (MAC) policies in multilevel security systems. The first part of the paper reports on different formalization attempts for MAC policies in the Ambient Calculus, and provides an in-depth analysis of the problems one encounters. As it turns out, MAC security does not appear to have fully...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Software Engineering and Methodology
سال: 2001
ISSN: 1049-331X,1557-7392
DOI: 10.1145/383876.383879